home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / junk / seth.T < prev   
Encoding:
Text File  |  1994-08-02  |  909 b   |  27 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.822161, 0.04788, .invisible, "1");
  3. v2 = .free(-0.822161, -0.723666, .invisible, "2");
  4. l1 = .l.vv(v1, v2, .longline);
  5. l2 = .l.vlperp(v1, l1, .longline);
  6. v3 = .vonl(l2, -0.564979, 0.04788, .red, .plus);
  7. c1 = .c.vv(v3, v1);
  8. v4 = .vonc(c1, -0.43065, 0.267193, .yellow, .plus);
  9. v5 = .vonc(c1, -0.332169, -0.061399, .yellow, .plus);
  10. l3 = .l.vv(v1, v4, .ray12);
  11. l4 = .l.vv(v1, v5, .ray12);
  12. l5 = .l.vv(v3, v4, .invisible, .ray12);
  13. l6 = .l.vv(v3, v5, .invisible, .ray12);
  14. l7 = .l.vlperp(v4, l5, .invisible, .longline);
  15. l8 = .l.vlperp(v5, l6, .invisible, .longline);
  16. v6 = .v.ll(l7, l8);
  17. l9 = .l.vv(v4, v6);
  18. l10 = .l.vv(v5, v6);
  19. l11 = .l.vv(v1, v6, .ray12);
  20. v7 = .vonl(l2, 0.072503, 0.04788, .green, .plus);
  21. l12 = .l.vlperp(v7, l2, .longline);
  22. v8 = .v.ll(l12, l11);
  23. v9 = .v.ll(l12, l3, .magenta);
  24. c2 = .c.vv(v8, v9);
  25. v10 = .v.ll(l12, l4, .magenta);
  26. v11 = .v.ll(l11, l2, .magenta);
  27.